Understanding Regression Failures through Test-Passing and Test-Failing Code Changes Roykrong Sukkerd , Ivan Beschastnikh , Jochen Wuttke , Sai Zhang , Yuriy Brun University of Washington University of Massachusetts Seat

Source URL: zhang-sai.github.io

• Abstract algebra
• Estimation theory
• Extreme programming
• Software testing
• Mathematics
• Debugging
• Delta debugging
• Regression analysis
• Regression testing
• Localization

Practical Semantic Test Simplification Sai Zhang University of Washington A typical testing workflow

Source URL: zhang-sai.github.io

• Computer programming
• Object-oriented programming
• Software engineering
• GNUstep
• NeXT
• Objective-C

Technical Report UW-CSEPorting Hyperkernel to the ARM Architecture Dylan Johnson University of Washington

Source URL: unsat.cs.washington.edu

• Computer architecture
• Computing
• System software
• Central processing unit
• ARM architecture
• Translation lookaside buffer
• Hypervisor
• Protection ring
• QEMU
• X86 virtualization
• Hyper-V
• Second Level Address Translation

Practical Semantic Test Simplification Sai Zhang University of Washington, USA Abstract—We present a technique that simplifies tests at the

Source URL: zhang-sai.github.io

• Software testing
• Software development
• Software engineering
• Computing
• Debugging
• Program slicing
• Unit testing
• Test automation

Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang? , Chenglong Wang† , Rishabh Singh? , Wen-tau Yih‡ , Xiaodong He∗ ? Microsoft Research, † University of Washington, ‡ Allen Instit

Source URL: rishabhmit.bitbucket.io

• Machine learning
• Computing
• Data management
• Artificial intelligence
• Computational neuroscience
• Artificial neural networks
• Computational linguistics
• Meta learning
• Supervised learning
• Support vector machine
• Deep learning
• SQL syntax

1 Securing Augmented Reality Output Kiron Lebeck, Kimberly Ruth, Tadayoshi Kohno, Franziska Roesner Paul G. Allen School of Computer Science & Engineering University of Washington

Source URL: www.ieee-security.org

• Humancomputer interaction
• Reality
• Computing
• User interface techniques
• Augmented reality
• Mixed reality
• Virtual reality
• Multimodal interaction
• Microsoft HoloLens
• Head-mounted display
• Internet privacy
• JavaScript

MuJoCo: A physics engine for model-based control Emanuel Todorov, Tom Erez and Yuval Tassa University of Washington Abstract— We describe a new physics engine tailored to model-based control. Multi-joint dynamics are r

Source URL: homes.cs.washington.edu

• Mathematical optimization
• Mechanics
• Physics
• Dynamical systems
• Mechanical engineering
• Contact dynamics
• Linear complementarity problem
• Multibody system
• Trajectory optimization
• Constraint
• Degrees of freedom
• Inverse dynamics

Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington

Source URL: unsat.cs.washington.edu

• Formal methods
• Verification
• Technology
• Refinement
• Specification
• File system
• Evaluation
• Business

Optimizing VM Checkpointing for Restore Performance in VMware ESXi Irene Zhang∗ University of Washington Tyler Denniston∗ MIT CSAIL

Source URL: irenezhang.net

Biology and genome of Trichinella spiralis * Makedonka Mitreva§, Genome Sequencing Center, Washington University School of Medicine, St. Louis, MOUSA Douglas P. Jasmer, Department of Molecular Microbiology and Pa

Source URL: www.wormbook.org